\begin{zed}
	[TYPENAME]
\end{zed}
 
\begin{schema}{MyFirstSchema}
	attributeName : TYPENAMEE \\
\where
	attributeName \in TYPENAMEE
\end{schema}

\begin{schema}{MySecondSchema}
	sAttr : TYPENAME \\
\where
	sAttr \in TYPENAMEE
\end{schema}

\begin{zed}
	S == [x : \nat | x < 4] \\
	T == S \land [x : \nat | x = 1]
\end{zed}

%\begin{zed}
%	S == [x : \nat | x < 4] \\
%	T == S \land [x : \nat | x = 1]
%\end{zed}

%\newcommand{\conj}{\ensuremath{\thrm?~}}
%%prerel \conj

%\begin{theorem}
%	\conj subCl \in NAME
%\end{theorem}